Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
671	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:46:30 Formal languages Software design patterns Pattern matching Abstract syntax tree Tree traversal Tree B-tree Visitor pattern Node Computing Computer programming Graph theory
672	STEPS Toward The Reinvention of Programming, 2009 Progress Report Submitted to the National Science Foundation (NSF) October 2009 A. Kay, I. Piumarta, K. Rose, D. Ingalls, D. Amelang, T. Kaehler, Y. Ohshima, H. Samimi, C Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:13:11 Formal languages Pattern matching MOV Low-level programming language Accumulator Map Regular expression JavaScript ECL programming language Computing Software engineering Computer programming
673	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
674	Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Datalog Logic programming Prolog Algorithm Formal methods Software engineering Computing Programming language theory
675	FormHeriot-Watt University - Course Descriptor Template (RAY) Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2014-04-03 08:38:48 Science Formal methods Software development process Diagrams Knowledge representation Unified Modeling Language Software development methodology Software engineer Object-oriented programming Software development Software engineering Software
676	Implementing JITTs (Just-In-Time-Trees) XML 2002 Patrick Durusau, Matthew Brook O’Donnell, Add to Reading List Source URL: www.durusau.net Language: English Technical communication ISO standards Formal languages Standard Generalized Markup Language Parsing PCDATA SYNTAX CDATA Document Type Definition Computing XML Markup languages
677	doi: Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:54 Formal languages Lisp programming language Dichotomies Literal and figurative language Regular expression Expression Idiom Type system Representation Literature Fiction Semantics
678	Anticipating Future Innovation Pathways through Large Data Analytics Edited Volume Springer International Publishing Call for Chapters Add to Reading List Source URL: www.gtmconference.org Language: English - Date: 2015-03-15 21:00:36 Science Data analysis Formal sciences Natural language processing Statistical natural language processing Analytics Text analytics ADAPA Emerging technologies Business intelligence Statistics Technology
679	Compiling Little Languages in Python John Aycock Department of Computer Science University of Victoria Victoria, B.C., Canada Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2001-06-12 15:21:46 Programming language implementation Parsing Formal languages Subroutines Attribute grammar Compiler Main function Lexical analysis Java Software engineering Computing Compiler construction
680	AN ECLECTIC COMPREHENSIVE APPROACH TO THE V&V OF SOFTWARE MODULES Ali Mili, NJIT NII, Tokyo, Japan January 13, 2012 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Computing Technology Modularity Product management Programming language Object-oriented programming Software design Specification Formal specification Holism Programming paradigms Formal methods

UPDATE